Search Results for ''

published presentations and documents on DocSlides.

Towards Using Constructive Type Theory for Verifiable

by karlyn-bohler

Modular Transformations. Steffen . Zschaler. , . ...